1. The Logic of theory change : Workshop, Konstanz, FRG, October 13-15, 1989 : proceedings
پدیدآورنده : A. Fuhrmann, M. Morreau )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
465
2. The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
L5663
1991